def get_level_tags() -> dict[int, str]: ...
